A Formal Logical Framework for Cadiag-2
نویسندگان
چکیده
Cadiag-2-where "Cadiag" stands for "computer-assisted diagnosis"- is an expert system based on fuzzy logic assisting in the differential diagnosis in internal medicine. With its aid, it is possible to derive from possibly vague information about a patient's symptoms, signs, laboratory test results, and clinical findings conjectures about present diseases. In this paper, we provide a mathematical formalization of the inferential mechanism of Cadiag-2. The aim is to have a formal logical calculus at hand which corresponds to the mode of operation of Cadiag-2 and which is among others needed to perform consistency checking of Cadiag-2's medical knowledge base.
منابع مشابه
Formal approaches to rule-based systems in medicine: The case of CADIAG-2
There is no established formal framework for expert systems based on weighted IFTHEN rules. We discuss three mathematical models that have been recently proposed by the authors for CADIAG-2—a well-known system of this kind. The three frameworks are based on fuzzy logics, probability theory and possibilistic logic, respectively. CADIAG-2 is used here as a case study to evaluate these frameworks....
متن کاملA probabilistic interpretation of the medical expert system CADIAG-2
CADIAG-2 is a well known expert system aimed at providing support for medical diagnose in the field of internal medicine. CADIAG-2 consists of a knowledge base in the form of a set of IF-THEN rules that relate distinct medical entities, in this paper interpreted as conditional probabilistic statements, and an inference engine constructed upon methods of fuzzy set theory. The aim underlying this...
متن کاملCadiag-2 and Fuzzy Probability Logics
We briefly describe the medical expert system Cadiag-2, developed to support the differential diagnostic process in internal medicine. We propose a propositional logic called fuzzy probability logic as a possible formalization of Cadiag-2 and indicate the way of transferring Cadiag-2's methodology into this framework.
متن کاملOn the (fuzzy) logical content of CADIAG-2
CADIAG-2 is a successful expert system assisting in the differential diagnosis in internal medicine. With its aid, conjectures about present diseases are derived from possibly vague information about a patient’s symptoms. In this paper we provide a mathematical formalisation of the inferential mechanism of CADIAG-2. A Gentzen-style calculus for the resulting logic is introduced and used to comp...
متن کاملAn Extension of Gödel Logic for Reasoning under Both Vagueness and Possibilistic Uncertainty
In this paper we introduce a logic called FNG∼(Q) that combines the well-known Gödel logic with a strong negation, rational truthconstants and Possibilistic logic. In this way, we can formalize reasoning involving both vagueness and (possibilistic) uncertainty. We show that the defined logical system is useful to capture the kind of reasoning at work in the medical diagnosis system CADIAG-2, an...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- Studies in health technology and informatics
دوره 150 شماره
صفحات -
تاریخ انتشار 2009